منابع مشابه
Parallel backtracking with answer memoing for independent and-parallelism
Goal-level Independent and-parallelism (IAP) is exploited by scheduling for simultaneous execution two or more goals which will not interfere with each other at run time. This can be done safely even if such goals can produce multiple answers. The most successful IAP implementations to date have used recomputation of answers and sequentially ordered backtracking. While in principle simplifying ...
متن کاملAbduction and Memoing
Abduction is a inference procedure with wide applicability to knowledge-based processing. Abduction is known to be NP-hard; i.e. over models of since N, runtimes are expected to be O(k N). Memoing is a technique for storing the results of prior computations, thus decreasing the inferencing time required if some particular inference is required more than once. Memoing is known to decrease the ru...
متن کاملParallel and serial hypercoherences
It is known that the strongly stable functions which arise in the semantics of PCF can be realized by sequential algorithms, which can be considered as deterministic strategies in games associated to PCF types. Studying the connection between strongly stable functions and sequential algorithms, two dual classes of hypercoherences naturally arise: the parallel and serial hypercoherences. The obj...
متن کاملSaturate: A Collaborative Memoing Tool
More and more software development information is publicly available online. Examples include issue tracking data, discussion groups and project documentation. This information is a valuable source of qualitative data for software engineering researchers. We believe that this data would be used more frequently and more effectively by researchers if appropriate tool support was available. We hav...
متن کاملDistinguishing serial and parallel parsing.
This paper discusses ways of determining whether the human parser is serial maintaining at most, one structural interpretation at each parse state, or whether it is parallel, maintaining more than one structural interpretation in at least some circumstances. We make four points. The first two counterclaims made by Lewis (2000): (1) that the availability of alternative structures should not vary...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Qualitative Health Research
سال: 2016
ISSN: 1049-7323,1552-7557
DOI: 10.1177/1049732315614579